Comment on "Empty Ideas": Logical Positivist Analyses of Equality and Rules
نویسندگان
چکیده
منابع مشابه
Descartes on the Logical Properties of Ideas
There is a problem in Descartes’s writings about the logical nature of the contents of his understanding, his ideas. On the one hand it seems that such things can be true, for as is well known, Descartes argues in Meditation III that any idea he very clearly and distinctly perceives is bound to be true. However, in the same Meditation, he seems to say something incompatible with this: he says t...
متن کاملIS EQUALITY A TOTALLY EMPTY IDEA ? by
Professor Peter Westen's essay asserting that the concept of equality has no substantive content whatsoever usefully brushes aside much of the equal-protection rhetoric that, as Western carefully explains, appropriately belongs to substantive due process. [FN1] However, his absolutist position is open to challenge. I would like to posit one hypothetical case that I used in my classes when I tau...
متن کاملsurvey on the rule of the due & hindering relying on the sheikh ansaris ideas
قاعده مقتضی و مانع در متون فقهی کم و بیش مستند احکام قرار گرفته و مورد مناقشه فقهاء و اصولیین می باشد و مشهور معتقند مقتضی و مانع، قاعده نیست بلکه یکی از مسائل ذیل استصحاب است لذا نگارنده بر آن شد تا پیرامون این قاعده پژوهش جامعی انجام دهد. به عقیده ما مقتضی دارای حیثیت مستقلی است و هر گاه می گوییم مقتضی احراز شد یعنی با ماهیت مستقل خودش محرز گشته و قطعا اقتضاء خود را خواهد داشت مانند نکاح که ...
15 صفحه اولModels and Equality for Logical Programming
1 I n t r o d u c t i o n This paper argues that some very significant benefits are available to logic programming from using certain concepts from first order model theory, namely: • order-sorted logic and models; • initial models; • interpretation into rLxed models for certain fLxed sorts, functions and relations; and • true semantic equality. These techniques, which are all standard in the t...
متن کاملOn the Dependencies of Logical Rules
Many correctness criteria have been proposed since linear logic was introduced and it is not clear how they relate to each other. In this paper, we study proof-nets and their correctness criteria from the perspective of dependency, as introduced by Mogbil and Jacobé de Naurois. We introduce a new correctness criterion, called DepGraph, and show that together with Danos' contractibility criterio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Yale Law Journal
سال: 1982
ISSN: 0044-0094
DOI: 10.2307/796048